noinst_LTLIBRARIES = libproof.la

AM_CPPFLAGS=$(config_includedirs)

libproof_la_SOURCES = PGBuild.C  PGHelp.C PGCheck.C PGMain.C PGInterpolator.C PGInterCheck.C PGInterAux.C\
		      PGTransformationAlgorithms.C PGRules.C PGPrint.C PGHeuristics.C
include_HEADERS = PG.h 
